Search Results for ''

published presentations and documents on DocSlides.

Modular and Verified Automatic Program Repair

by Muscleman

Francesco Logozzo. , Thomas Ball. RiSE - Microsoft...